<html>
<body>
Provides classes and interfaces for creating and setting options in a Tool.
</body>
</html>
